Books by author Ana Cavalcanti

Showing 1 – 11 out of 11 results

1. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   122.69 €

   Sale 7 %

   You save 10.27 €

   Buy
2. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   57.17 €

   Buy
3. 

   Fundamental Approaches to Software Engineering

   Dirk Beyer, Ana Cavalcanti | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   41.09 €

   Sale 7 %

   You save 3.44 €

   Buy
4. 

   Critical Systems: Formal Methods and Automated Verification

   Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.34 €

   Sale 7 %

   You save 4.23 €

   Buy
5. 

   Theoretical Aspects of Computing

   Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   57.17 €

   Buy
6. 

   Theoretical Aspects of Computing - ICTAC 2006

   Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.34 €

   Sale 7 %

   You save 4.23 €

   Buy
7. 

   Testing Techniques in Software Engineering

   Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   57.17 €

   Buy
8. 

   The Practice of Formal Methods

   Ana Cavalcanti | Springer Nature Switzerland, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.62 €

   Sale 7 %

   You save 5.66 €

   Buy
9. 

   The Practice of Formal Methods

   Ana Cavalcanti | Springer Nature Switzerland, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   67.62 €

   Sale 7 %

   You save 5.66 €

   Buy
10. 

    FM 2009: Formal Methods

    Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    In stock at our supplier - Shipping in 9 - 13 days

    Language: English

    Binding: Paperback

    112.94 €

    Buy
11. 

    Formal Methods and Software Engineering

    Karin Breitman, Ana Cavalcanti | Springer, Berlin, 2009

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.29 €

    Sale 7 %

    You save 8.57 €

    Buy

We send books in special cardboard delivery boxes. Find out more